<?php

class block_formal_langs_token_word extends block_formal_langs_token_base {
    /*
     * here goes specific error handling.
     */

    public function __construct($number, $type, $value, $position, $index) {
        parent::__construct($number, $type, $value, $position, $index);
    }
}

class block_formal_langs_token_number extends block_formal_langs_token_base {
    /*
     * here goes specific error handling.
     */

    public function __construct($number, $type, $value, $position, $index) {
        parent::__construct($number, $type, $value, $position, $index);
    }
}

class block_formal_langs_token_punctuation extends block_formal_langs_token_base {
    /*
     * here goes specific error handling.
     */

    public function __construct($number, $type, $value, $position, $index) {
        parent::__construct($number, $type, $value, $position, $index);
    }
}

class block_formal_langs_token_article extends block_formal_langs_token_base {
    /*
     * here goes specific error handling.
     */

    public function __construct($number, $type, $value, $position, $index) {
        parent::__construct($number, $type, $value, $position, $index);
    }
}
?>